Formal language - PDFSEARCH.IO - Document Search Engine

Formal language
Results: 1838

#	Item
101	KEMM: A Knowledge Engineering Methodology in the Medical Domain THESEUS-MEDICO Pinar Wennerberg1, Sonja Zillner1, Manuel Möller2, Paul Buitelaar3, Michael Sintek2 Add to Reading List Source URL: fois08.dfki.de Language: English - Date: 2008-11-07 04:04:46 Ontology Knowledge engineering Semantic Web Information science Technical communication Computing Knowledge Formal ontology Web Ontology Language Draft:Outline of ontologies
102	A Formal Model and Composition Language for Context-Aware Service Protocols A Formal Model and Composition Language for Context-Aware Service Protocols Javier Cubo, Carlos Canal, Ernesto Pimentel, Gwen Sala¨ un Add to Reading List Source URL: casta.unibe.ch Language: English - Date: 2012-07-02 10:13:08 Theoretical computer science Logic in computer science Programming language semantics Communications protocol Data transmission Model theory Operational semantics Models of computation
103	The CYK algorithm L645 / B659 Fall 2015 Where we’re going Add to Reading List Source URL: cl.indiana.edu Language: English - Date: 2015-10-27 13:08:39 Compiler construction Programming language implementation Syntax Software engineering Formal languages CYK algorithm Natural language parsing Parsing Phrase structure rules Top-down parsing Chart parser Context-free grammar
104	Parse Trees • If w ∈ L(G), for some CFG, then w has a parse tree, which tells us the (syntactic) structure of w • w could be a program, a SQL-query, an XMLdocument, etc. • Parse trees are an alternative represent Add to Reading List Source URL: www.cs.ucr.edu Language: English - Date: 2015-01-28 19:32:46 Formal languages Language Cognitive science Mathematics Parse tree Parsing Formal grammar Equivalence Context-free language LR parser Context-free grammar
105	Formal ontologies for space and time Thomas Bittner, Barry Smith , and Institute for Formal Ontology and Medical Information Science (IFOMIS) Add to Reading List Source URL: ontology.buffalo.edu Language: English - Date: 2003-04-03 09:44:32 Philosophy Metaphysics Ontology Information science Knowledge representation Meaning philosophy of language) Technical communication Formal ontology Process philosophy Four-dimensionalism Barry Smith Web Ontology Language
106	Advances in Programming Languages APL4: JML — The Java Modeling Language David Aspinall (slides originally by Ian Stark) School of Informatics Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-01-20 18:21:25 Computing Software engineering Theoretical computer science Formal methods Logic in computer science Java Modeling Language Java platform Static program analysis ESC/Java Hoare logic Assertion Modeling language
107	Writing letters Formal letters 1. Starting a letter Use one of these phrases to start your letter: Dear Mr/Mrs/Ms/Miss Wilson Dear Sir or Madam (Used when you do not know the name of the person you are writing to or whet Add to Reading List Source URL: www.chambers.co.uk Language: English - Date: 2015-02-17 11:05:13 Letter Postal system Abbreviation Comma Language Printing
108	Microsoft PowerPoint - SASyLF-wmm08-web.ppt Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2008-10-15 15:02:54 Theoretical computer science Mathematics Type theory Mathematical logic Formal methods Logic in computer science Programming language theory Twelf POPLmark challenge Lambda calculus Theorem Formal language
109	An ontology for drug-drug interactions Maria Herrero-Zazo1,2, Janna Hastings2,3, Isabel Segura-Bedmar1, Samuel Croset4, Paloma Martinez1, Christoph Steinbeck2 1 Department of Computer Science, University Carlos III of Ma Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2013-11-25 10:15:46 Ontology Knowledge representation Information science Semantic Web Computing Pharmacology Pharmacokinetics Formal ontology Didanosine OBO Foundry Drug interaction Web Ontology Language
110	Microsoft Word - 48EB8428-7110-28C74A.doc Add to Reading List Source URL: fois08.dfki.de Language: English - Date: 2008-10-20 07:47:25 Knowledge representation Ontology Information science Cognitive science Knowledge Technical communication Knowledge engineering WordNet Upper ontology FrameNet Formal ontology Frame language

UPDATE